representation of relation in discrete mathematics